翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dualizing complex ： ウィキペディア英語版 Verdier duality In mathematics, Verdier duality is a duality in sheaf theory that generalizes Poincaré duality for manifolds. Verdier duality was introduced by as an analog for locally compact spaces of the coherent duality for schemes due to Grothendieck. It is commonly encountered when studying constructible or perverse sheaves. ==Verdier duality== Verdier duality states that certain image functors for sheaves are actually adjoint functors. There are two versions. Global Verdier duality states that for a continuous map $f:\; X\; \backslash to\; Y$, the derived functor of the direct image with proper supports ''Rf''! has a right adjoint ''f''! in the derived category of sheaves, in other words, for a sheaf $\backslash mathcal\; F$ on X and $\backslash mathcal\; G$ on Y we have :$()\; \backslash cong\; ()\; .\; \backslash ,\backslash !$ The exclamation mark is often pronounced "shriek" (slang for exclamation mark), and the maps called "''f'' shriek" or "''f'' lower shriek" and "''f'' upper shriek" – see also shriek map. Local Verdier duality states that :$R\backslash ,\backslash mathcalom(Rf\_!\backslash mathcal,\backslash mathcal)\; \backslash cong\; Rf\_R\backslash ,\backslash mathcalom(\backslash mathcal,f^!\backslash mathcal)$ in the derived category of sheaves of ''k'' modules over ''X''. It is important to note that the distinction between the global and local versions is that the former relates maps between sheaves, whereas the latter relates (complexes of) sheaves directly and so can be evaluated locally. Taking global sections of both sides in the local statement gives global Verdier duality. The dualizing complex ''DX'' on ''X'' is defined to be :$\backslash omega\_X\; =\; p^!(k)\; ,\; \backslash ,\backslash !$ where ''p'' is the map from ''X'' to a point. Part of what makes Verdier duality interesting in the singular setting is that when ''X'' is not a manifold (a graph or singular algebraic variety for example) then the dualizing complex is not quasi-isomorphic to a sheaf concentrated in a single degree. From this perspective the derived category is necessary in the study of singular spaces. If ''X'' is a finite-dimensional locally compact space, and ''D''''b''(''X'') the bounded derived category of sheaves of abelian groups over ''X'', then the Verdier dual is a contravariant functor :$D\; \backslash colon\; D^b(X)\backslash to\; D^b(X)\; \backslash ,\backslash !$ defined by :$D(\backslash mathcal)\; =\; R\backslash ,\backslash mathcalom(\backslash mathcal,\; \backslash omega\_X)\; .\; \backslash ,\backslash !$ It has the following properties: 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Verdier duality」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.